Bournez, Olivier: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Stability of Saturated Linear Dynamical Systems Is Undecidable

Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 230 KB

english, 2001

2

On the number of binary-minded individuals required to compute

Guillaume Aupy, Olivier Bournez

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 216 KB

english, 2011

3

Computation with perturbed dynamical systems

Bournez, Olivier, Graça, Daniel S., Hainry, Emmanuel

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 270 KB

english, 2013

4

Reachability Problems for One-Dimensional Piecewise Affine Maps

Bournez, Olivier, Kurganskyy, Oleksiy, Potapov, Igor

Journal:

International Journal of Foundations of Computer Science

Year:

2018

Language:

english

File:

PDF, 578 KB

english, 2018

5

How much can analog and hybrid systems be proved (super-)Turing

Olivier Bournez

Journal:

Applied Mathematics and Computation

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

6

On the convergence of population protocols when population goes to infinity

Olivier Bournez, Philippe Chassaing, Johanne Cohen, Lucas Gerin, Xavier Koegler

Journal:

Applied Mathematics and Computation

Year:

2009

Language:

english

File:

PDF, 225 KB

english, 2009

7

Polynomial differential equations compute all real computable functions on computable compact intervals

Olivier Bournez, Manuel L. Campagnolo, Daniel S. Graça, Emmanuel Hainry

Journal:

Journal of Complexity

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

8

Elementarily computable functions over the real numbers and -sub-recursive functions

Olivier Bournez, Emmanuel Hainry

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

9

Deciding stability and mortality of piecewise affine dynamical systems

Vincent D. Blondel, Olivier Bournez, Pascal Koiran, Christos H. Papadimitriou, John N. Tsitsiklis

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 116 KB

english, 2001

10

On the computational power of dynamical systems and hybrid systems

Olivier Bournez, Michel Cosnard

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.04 MB

english, 1996

11

Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy

Olivier Bournez

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.88 MB

english, 1999

12

Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH

Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 192 KB

english, 2003

13

Preface

Olivier Bournez, Gilles Dowek

Journal:

Natural Computing

Year:

2012

Language:

english

File:

PDF, 94 KB

english, 2012

14

From Chemical Rules to Term Rewriting

Olivier Bournez, Liliana Ibănescu, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 430 KB

english, 2006

15

Using Local Planar Geometric Invariants to Match and Model Images of Line Segments

Patrick Gros, Olivier Bournez, Edmond Boyer

Journal:

Computer Vision and Image Understanding

Year:

1998

Language:

english

File:

PDF, 503 KB

english, 1998

16

Implicit complexity over an arbitrary structure: Quantifier alternations

Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 317 KB

english, 2006

17

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - On the complexity of solving initial value problems

Bournez, Olivier, Graça, Daniel S., Pouly, Amaury

Year:

2012

Language:

english

File:

PDF, 351 KB

english, 2012

18

[Lecture Notes in Computer Science] Reachability Problems Volume 5797 || Algorithmic Information Theory and Foundations of Probability

Bournez, Olivier, Potapov, Igor

Year:

2009

Language:

english

File:

PDF, 130 KB

english, 2009

19

[Lecture Notes in Computer Science] Reachability Problems Volume 5797 ||

Bournez, Olivier, Potapov, Igor

Year:

2009

Language:

english

File:

PDF, 4.13 MB

english, 2009

20

Lateral canthotomy: Its application in maxillofacial trauma

Bournez, Olivier, Graça, Daniel S., Hainry, Emmanuel

Journal:

Journal of Oral and Maxillofacial Surgery

Year:

1988

Language:

english

File:

PDF, 309 KB

english, 1988

21

PREFACE

BOURNEZ, OLIVIER, POTAPOV, IGOR

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 87 KB

english, 2011

22

DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME

Barth, Dominique, Cohen, Johanne, Bournez, Olivier, Boussaton, Octave

Journal:

Parallel Processing Letters

Year:

2009

Language:

english

File:

PDF, 1.39 MB

english, 2009

23

Computing with polynomial ordinary differential equations

Bournez, Olivier, Graça, Daniel, Pouly, Amaury

Journal:

Journal of Complexity

Year:

2016

Language:

english

File:

PDF, 655 KB

english, 2016

24

On the complexity of bounded time and precision reachability for piecewise affine systems

Bazille, Hugo, Bournez, Olivier, Gomaa, Walid, Pouly, Amaury

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 426 KB

english, 2016

25

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Bournez, Olivier, Graça, Daniel S., Pouly, Amaury

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 1.45 MB

english, 2017

26

On the functions generated by the general purpose analog computer

Bournez, Olivier, Graça, Daniel, Pouly, Amaury

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 1.22 MB

english, 2017

27

Homonym Population Protocols

Bournez, Olivier, Cohen, Johanne, Rabie, Mikaël

Journal:

Theory of Computing Systems

Year:

2018

Language:

english

File:

PDF, 626 KB

english, 2018

28

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Cheap Non-Standard Analysis and Computability: Some Applications

Bournez, Olivier, Ouazzani, Sabrina

Year:

2018

Language:

english

File:

PDF, 34 KB

english, 2018

29

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Ordinary Differential Equations & Computability

Bournez, Olivier

Year:

2018

Language:

english

File:

PDF, 104 KB

english, 2018

30

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Cheap Non-Standard Analysis and Computability: Some Applications

Bournez, Olivier, Ouazzani, Sabrina

Year:

2018

File:

PDF, 34 KB

2018

31

Editorial

Brattka, Vasco, Bonizzoni, Paola, Bournez, Olivier, Mayordomo, Elvira

Journal:

Year:

2016

File:

PDF, 32 KB

2016